• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (382)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8...20 Hits 61 – 80 of 382 61 Work-Centered Approach to Insurgency Campaign Analysis Leedom, Dennis K.; Noble, David F.; Eggleston, Robert G. In: DTIC (2007) BASE Show details 62 codation - Verbindung von Code und Zusatzinformation Wertenauer, Jochen. - : Stuttgart, Germany, Universität Stuttgart, 2007 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007) BASE Show details 63 Evaluation of a new assessment scheme for a third-year concurrency course Strooper, P. A.; Meinicke, L.. - : Australian Computer Society, Inc., 2007 BASE Show details 64 Developing efficient parsers in Prolog: the CLF manual (v1.0) Despeyroux, Thierry In: https://hal.inria.fr/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18 (2006) BASE Show details 65 The QAT: A Qualitative Algebra Toolkit Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006) BASE Show details 66 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 67 Information Visualization: The State of the Art for Maritime Domain Awareness Davenport, Michael; Risley, Chris In: DTIC (2006) BASE Show details 68 Colors of poetry ; computational deconstruction Robinson, Jason R.. - : uga, 2006 BASE Show details 69 Parsing and translation of expressions by genetic programming David Jackson In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005) BASE Show details 70 Security Ontology for Annotating Resources Kim, Anya; Luo, Jim; Kang, Myong In: DTIC AND NTIS (2005) BASE Show details 71 DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT) Kogut, Paul In: DTIC (2005) BASE Show details 72 CZT: A framework for Z tools Malik, Petra; Utting, Mark. - : Springer Berlin Heidelberg, 2005 BASE Show details 73 Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken Radeschütz, Sylvia. - : Stuttgart, Germany, Universität Stuttgart, 2005 BASE Show details 74 Refactoring via database representation Péter Diviánszky; Rozália Szabó-nacsa; Zoltán Horváth In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004) BASE Show details 75 Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces Antoniotti, Marco; Lau, Ian T.; Mishra, Bud In: DTIC (2004) BASE Show details 76 Evaluation of Transcription and Annotation Tools for a Multi-Modal, Multi-Party Dialogue Corpus Garg, Saurabh; Martinovski, Bilyana; Robinson, Susan... In: DTIC (2004) BASE Show details 77 Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE) Reed, Stephen In: DTIC AND NTIS (2004) BASE Show details 78 Shifting the Computational Paradigm Stein, Lynn A. In: DTIC AND NTIS (2004) BASE Show details 79 Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph Stürmer, Michael. - : Stuttgart, Germany, Universität Stuttgart, 2004 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2182/DIP-2182.pdf (2004) Abstract: 94 pages ; Der Resource-Flow-Graph (RFG) ist eine Zwischendarstellung, die im Bauhaus-Projekt eingesetzt wird. Sie enthält aus Quellcode extrahierte Quell- und Architekturinformationen. Die Auswertung dieser Informationen findet momentan entweder manuell oder durch ausprogrammierte Analysen statt. Diese Arbeit beschreibt eine Skriptsprache, die von Entwicklern und Endanwendern des Bauhaus-Systems zur Formulierung von Analysen und Manipulationen des RFG benutzt werden kann. Zuerst werden Anforderungen an die Skriptsprache formuliert und vorhandene Anfragesprachen auf erwünschte und unerwünschte Eigenschaften untersucht. Es stellt sich heraus, dass eine leicht verständliche Syntax und eine komfortable Visualisierung durch den im Bauhaus-Projekt eingesetzten Grapheneditor wesentliche Merkmale der Sprache sein sollen. Die Konzeption der Sprache, die vorhandenen Datentypen, Anweisungen sowie eingebaute Funktionen werden beschrieben und der daraus entwickelte Entwurf mit Realisierungsalternativen dargestellt. Abschließend wird die Effizienz der Realisierung mit anderen Anfragesprachen verglichen. Keyword: and Enhancement (CR D.2.7); Maintenance; Programming Languages Processors (CR D.3.4); Software Engineering Coding Tools and Techniques (CR D.2.3); Software Engineering Distribution; Software Engineering Programming Environments (CR D.2.6); Specifying and Verifying and Reasoning about Programs (CR F.3.1) URL: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-2182&engl=1 BASE Hide details 80 Speeding Up a Path-Based Policy Language Compiler Guven, Ahmet In: DTIC AND NTIS (2003) BASE Show details Page: 1 2 3 4 5 6 7 8...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0